$\forall$$n$, $i$:$\mathbb{N}$. ($i$ $<$ $n$) $\Rightarrow$ ($i$ $\in$ upto($n$))